基于EFSM模型的不可行迁移路径判定

扩展有限状态机(Extended Finite State Machine:EFSM)虽然被广泛用作各种软件的底层模型,但如何判定其测试序列的不可行性是一个困难的问题,为此将迁移路径上的变量分为计数器变量、选择变量和矛盾变量,并从这三个角度进行路径的不可行判定.实验结果表明,EFSM模型中的不可行迁移路径主要由这三类变量引起,且本方法可以有效地判定出含这三类变量的不可行迁移路径.     

单个总体方差差异的U统计量检验法

给出一种利用非参数统计中U统计量构造检验单个总体方差差异的方法,与χ2检验法相比,该方法不仅适用于更宽泛的场合,而且其渐近相对效率为1.     

水质检测在仪器分析开放实验教学改革中的应用

针对仪器分析学科发展的现状,结合实验教学的实际,联合污水处理厂开发设计水质检测仪器分析的开放实验,从实验教学内容、教学空间、教学过程及思维等方面对实验课程进行改革,提高学生实验的主动性与积极性,加强培养学生实验操作技能及科学素养,取得了较好的教学效果.     

浅谈高校实验技术队伍建设

分析了高校实验技术队伍现状，论述了高等教育发展对实验技术队伍的新要求。提出以创新观念为载体、以改革运行和管理模式为手段，全面加强实验技术队伍建设。     

基于PLC实现全波段图文显像处理检测仪的自动定位系统

介绍一种全波段图文显像处理检测仪的时间－转角自动定位系统。系统采用PLC控制的方法来实现来观察光波长的精确提取，其运行结果表明，检测速度快，定位精度可达2″，且具有较高的工作可靠性。     

The RCT approach for cell coverage prediction (II): Experiment and early results

We study on the implementation flow of the radio computerized tomography (RCT) prediction method. A case in real cellular mobile radio (CMR) system together with the prediction results are also presented. As shown by the results, the RCT prediction method is marked for its convenience and rapidity, as well as its relative high precision even when the prediction procedure is highly simplified. Since it is developed according to the characteristics of wireless communication environments of our country and has concurrently merits from both statistical and deterministic prediction models, the RCT prediction method is in good agreement with engineering practices in cellular mobile communication in cities at home. Optimized by combining with other techniques, further improvement could be achieved in the stability and precision of the RCT prediction method which now serves as the core part of a software tool for commercial use in CMR system analysis and optimization. Biography: Yu Sheng-bing (1974-), male, Ph. D candidate, research interest: theory analysis and application development of radio propagation in wireless communication systems.     

关于改性碳酸钙性能测试方法的探讨

详细介绍了力学性能测试、松散堆积密度法、萃取法测接枝率等改性碳酸钙性能测试法。讨论发现,3种方法的测试结果完全吻合,由此可证明松散堆积密度法、萃取法测接枝率也是行之有效的测试新方法。     

视觉导引下的轴与轴孔被动装配研究

提出了一种在视觉导引下的被动装配方法，该方法首先使用视觉进行粗定位，然后使用装配平台的扫描运动完成最后的装配，该方法克服了视觉装配误差大和被动装配时间长的缺点，集中了视觉装配速度快和被动装配精度高的优点，使得精确装配能够迅速完成。文中不仅给出了装配系统的模型，而且给出了空间点的矩阵变换，通过摄像机的特殊配置，使得矩阵变换非常简单。同时，对摄像机的最大成像误差进行了估计，为后面的装配平台运动提供依据。最后，给出了装配过程的实验结果，从装配过程所化的时间来看，该系统是可行的。     

Implement of FLEX and POCSAG pager testing system

The synthesized signal testing equipment is widely used in the field of wireless communication. A new design method of FLEX and POCSAG page testing instrument is introduced, which is based on MCU encoder, FPGA control and digital RF. The technology of DDS and PLL is also presented. Biography: LUO Kun (1975-), male, Master candidate.     

射线三维检测一般位置像对的数学模型

建立了射线三维检测中拍摄一般位置像对时解决缺陷定位、定量问题的数学模型 ,使射线检测更具推广应用的实际价值